Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTOS, L. B. R.; SALES, C. P.; SANTIAGO JÚNIOR, V. A. XMITS: software inspections via formal verification. In: CONGRESSO BRASILEIRO DE SOFTWARE, 9. (CBSOFT), , São Carlos, SP. Anais... 2018. p. 55-60. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34R/3RRGEF8>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santos, Sales e Santiago Júnior (2018).
... pode ser encontrada na literatura (SANTOS; SALES; SANTIAGO JÚNIOR, 2018).